//
//  init.cpp
//  ltlbmc
//
//  Created by GD Huang on 7/5/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#include <iostream>
#include "init.h"

namespace cilast {
    
    int init::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int SingleInit::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int OffsetInit::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int CompoundInit::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
}